61. A profile of mathematical logic.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Mathematics.,Logique symbolique et mathématique.,Logic, Symbolic and mathematical.,Logica Matematica (Textos Introdutorios),Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Mathematische Logik,Mathematische Logik.
Classification :
QA9
.
D37
62. A profile of mathematical logic
Author:
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical
Classification :
QA
9
.
D37
63. A profile of mathematical logic
Author: DeLong, Howard
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical
Classification :
QA
9
.
D37
64. A readable introduction to real mathematics
Author: Rosenthal, Daniel.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.
Classification :
QA
93
.
R6
2014
65. A sequential introduction to real analysis /
Author: J.M. Speight
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical analysis,Precalculus
66. A tale of discrete mathematics
Author: Joseph Khoury.,Khoury, Joseph,
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Combinatorial analysis,Set theory,Algebraic logic,Textbooks.,Textbooks.,Textbooks.,Textbooks.
67. A theory of sets
Author: / Anthony P. Morse
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Set theory,Logic, symbolic and mathematical
Classification :
511
.
3
Mo-T
68. A theory of sets
Author: Morse, Anthony Perry
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Aggregates,، Logic, Symbolic and mathematical
Classification :
QA
3
.
P8
v
.
18
69. Abelian varieties
Author: / Serge Lang
Library: Library of College of Science University of Tehran (Tehran)
Subject: Abelian groups,Logic, Symbolic and mathematical
Classification :
QA
171
.
L28
70. Abstract set theory
Author:
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic, symbolic and mathematical,Algebra, abstract
Classification :
512
.
8
Fr-A
71. Acting and Reflecting :
Author: edited by Wilfried Sieg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Logic.,Philosophy (General)
72. Admissibility of logical inference rules
Author: Rybakov, Vladimir Vladimir
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Logic, Symbolic and mathematical , Inference
Classification :
QA
9
.
R986
1997
73. Admissibility of logical inference rules
Author: Rybakov, Vladimir V. )Vladimir Vladimir(
Library: Central Library and Documentation Center (Semnan)
Subject: ، Logic, Symbolic and mathematical,، Inference
Classification :
QA
9
.
R986
1997
74. Advanced mathematics :
Author: Stanley J. Farlow.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Differential equations, Partial.,Logic, Symbolic and mathematical.,MATHEMATICS-- Calculus.,Mathematics.
Classification :
QA37
.
3
75. Advanced mathematics
Author: Stanley J. Farlow
Library: Library of College of Science University of Tehran (Tehran)
Subject: Mathematics,Logic, Symbolic and mathematical, -- Textbooks, -- Textbooks,a03,a04
Classification :
QA37
.
3
.
F37
2020
76. Advanced mathematics :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mathematics ; Textbooks. ; Logic, Symbolic and mathematical ; Textbooks. ;
77. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil
Author: Walter A. Carnielli, Itala M.L. D'Ottaviano, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
L36B7
1996
78. Advances in logic : the North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas
Author: Su Gao, Steve Jackson, Yi Zhang, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical
Classification :
QA
9
.
A1N67
2004
79. After Godel : Platonism and rationalism in mathematics and logic
Author: Tieszen, Richard L.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
Classification :
QA
9
.
T53A34
80. After Gغodel :Platonism and rationalism in mathematics and logic
Author: Tieszen, Richard L.
Library: Library of Mofid University (Qom)
Subject: ، Gغodel, Kurt,، Logic, Symbolic and mathematical
Classification :
QA9
.
T54
2011
